Одним из основных инструментов регистрации полярных сияний является оптическое наблюдение небосвода в автоматическом режиме с помощью камер всего неба. Результаты наблюдений фиксируются в специальных мнемонических таблицах, аскаплотах. Аскаплоты предоставляют суточную информацию о наличии или отсутствии облачного покрова и полярных сияний в различных частях небосвода и традиционно используются для исследования суточного распределения полярных сияний в заданном регионе, а также для расчета вероятности их наблюдения в других регионах в соответствии с уровнем геомагнитной активности. Обработка аскаплотов в настоящее время осуществляется вручную, что сопряжено с существенными временными затратами и высокой долей ошибок, возникающих по причине человеческого фактора. Для повышения эффективности обработки аскаплотов авторами предложен подход, обеспечивающий автоматизацию распознавания и оцифровки данных оптических наблюдений полярных сияний. Предложена формализация структуры аскаплота, применяемая для обработки его изображения, а также извлечение соответствующих результатов наблюдений и формирование результирующего набора данных. Подход предусматривает использование алгоритмов машинного зрения (в частности, в данном случае имеет место применение алгоритма классификации по правилам) и применение специализированной маски – отладочного изображения для оцифровки, представляющего собой цветное изображение, в котором задано общее положения ячеек аскаплотов. Предложенный подход и соответствующие алгоритмы реализованы в форме программного обеспечения для распознавания и оцифровки архивных данных оптических наблюдений полярных сияний. Решение представляет собой однопользовательское настольное программное обеспечение, позволяющее пользователю в пакетном режиме выполнять преобразование изображений аскаплотов в таблицы, доступные для последующей обработки и анализа. Результаты проведенных вычислительных экспериментов показали, что применение предложенного программного обеспечения позволит избежать ошибок при оцифровке аскаплотов, с одной стороны, и существенно повысить скорость соответствующих вычислительных операций, с другой. В совокупности это позволит повысить эффективность обработки аскаплотов и проведения исследований в соответствующей области.
Создана модель мультимодальной сенсорной среды «INFANT.MAVS», включающая две базы стимулов разной перцептивной сложности – простых (визуальных, звуковых, тактильных и графических) и комплексных, синтезированных на основе сочетания простых. Программное обеспечение модели включает компонент управления созданными базами данных и саму базу данных. Компонент управления разработан на языке Microsoft Visual Basic v.6.0 и предназначен для работы под управлением операционных систем семейства Windows (Windows XP, Windows Vista, Windows 7). Программное обеспечение базы делает работу с моделью доступной и удобной для любого пользователя
Предложен подход к формированию полной и достоверной первичной медицинской информации. Выполнен анализ годового объема данных о нездоровье нации. Указано на отсутствие иных источников информации для вычисления врачебных ошибок. В качестве метода доступа к системе медицинских документов предлагается специализированная информационно-поисковая система, реализованная на принципах иммунокомпьютинга. Система полной, достоверной и доступной первичной медицинской информации, а также соответствующее программное обеспечение рассматриваются как основа единого информационного пространства здравоохранения. Принципиальным свойством данного программного обеспечения является использование открытого исходного кода и свободной лицензии.
В учебной, научной и организационной деятельности вузов и научно- исследовательских институтов в настоящее время необходимо активнее переходить на свободное и открытое программное обеспечение. Оно хорошо подходит для организации и проведения традиционного и дистанционного научного и учебного процесса, а также для разработки необходимого для деятельности студентов, аспирантов, преподавателей и научных сотрудников методического и программного обеспечения. Именно такой тип программного обеспечения должен стать сейчас основным в нашей стране.
В статье представлена формальная модель функционирования процесса в операционной системе, построенная на основе применения субъектно-объектного подхода к разделению основных элементов операционной системы. Особенностью представленной модели является высокоуровневая абстракция описания взаимодействия процесса с ресурсами операционной системы, что позволяет применить полученные на ее основе результаты к широкому классу аналогичных систем. Применение данной модели необходимо для совершения перехода от реального процесса к его формальной модели, позволяющей учитывать значимые свойства поведения процесса как на статическом этапе анализа бинарного исполняемого файла, так и на динамическом этапе контроля за его выполнением. Предложена структура системы безопасного исполнения программного кода, являющаяся расширенной композицией таких подходов к обнаружению вредоносного программного обеспечения, как применение метода формальной верификации «Model checking» и использования автомата безопасности для контроля за выполнением исследуемой программы. Применение данной системы позволит использовать в корпоративных информационно-вычислительных сетях только программное обеспечение, уровень доверия к которому подтверждается формальным математическим доказательством и непрерывным контролем за его функционированием.
Рассматривается задача объединения графов с общей частью, которые были получены в результате серии моделирований сети Петри с использованием программного пакета Colored Petri Nets Tools, в котором адресное пространство процесса ограничено 232 байтами, начиная с различных вершин и при различных начальных условиях. Для ее решения необходимо определить общую часть графов, выполнить разрез таким образом, чтобы их общая часть осталась только в одном из начальных графов, и составить таблицу соответствия (переходов) между вершинами графов для возможности осуществления переходов между ними. Изначально предполагается, что графы представлены в виде списков смежности, но в процессе работы алгоритма они преобразовываются в хеш-таблицы для быстрого определения общей части графов, которое реализуется при помощи обхода одного из графов и проверки наличия вершин во втором. Составление таблицы переходов между графами осуществляется при помощи обхода графа по парам «родительская-дочерняя» вершины, в ходе которого проверяются условия добавления узлов в таблицу переходов. Предлагается алгоритм решения задачи объединения частей ориентированного графа и приведен пример его использования.
Стремительное развитие информационных технологий в последние десятилетия стало причиной значительного увеличения объема исходных текстов программного обеспечения, а также его сложности. Данный факт обусловливает высокую сложность анализа программного обеспечения с целью понимания логики его функционирования, необходимость выполнения которого является важным моментом при проведении судебной компьютерно - технической экспертизы. В статье раскрывается один из подходов к автоматизации процесса идентификации стандартизированных алгоритмов преобразования данных в исполняемых модулях в условиях отсутствия исходных текстов за счет учета их внутренних информационных связей с целью упрощения понимания программ.
Широкое внедрение в процесс проектирования и разработки прикладного программного обеспечения CASE-средств, баз и библиотек повторно используемого кода, а также широкое применение сервис-ориентированной архитектуры требует качественно новых методов оценивания результатов и диагностики состояния проектов создания программных и программно-технических систем. Обоснованная оценка результатов проектирования и разработки невозможна без использования соответствующих сетей показателей. Рассмотрению принципиальных возможностей и специфике синтеза таких сетей посвящена данная статья.
Для поддержки деятельности коллектива, работающего в области информационных технологий, необходимы адекватные программные и организационные средства. В зависимости от типа и направления организации нужны соответствующие инструментальные средства, но практически всегда используются офисные пакеты, локальные, распределенные или внешние, системы управления документооборотом, взаимодействия с клиентами, и многое другое. Авторы предлагают максимально активно применять для этого системы на базе свободного программного обеспечения.
Разработка программного обеспечения на основе свободного и свободно-распространяемого программного обеспечения (ПО) — весьма востребованная в современных условиях тема. С одной стороны, набор инструментального и организационного ПО весьма широк и доступен на всех программно-аппаратных платформах, с другой — имеются значительные юридические и методологические сложности и неопределенности в практическом применении такого ПО в России. В статье рассматриваются как свободные и открытые, так и коммерческие экономически эффективные модели разработки.
1 - 11 из 11 результатов